The Caucus as an Anthropological Topos

The Construction of Religion as an Anthropological Category

An Introduction to Topos Theory

The purpose of this text is to equip the reader with an intuitive but precise understanding of elementary structures of category and topos theory. In order to achieve this goal, we provide a guided tour through category theory, leading to the definition of an elementary (Lawvere–Tierney) topos. Then we turn to the investigation of consequences of this definition. In particular, we analyse in de...

Anthropological variables as economic indicators.

Anthropological studies of human populations are traditionally aimed at identifying the relative contributions of the genetic, physiological and cultural mechanisms underlying the geographical micro-differentiation and adaptation of populations to the different environments in which they live. According to this approach, all anthropological variables are subjected to environmental pressures and...

Cubical Sets as a Classifying Topos∗

Coquand’s cubical set model for homotopy type theory provides the basis for a computational interpretation of the univalence axiom and some higher inductive types, as implemented in the cubical proof assistant. We show that the underlying cube category is the opposite of the Lawvere theory of De Morgan algebras. The topos of cubical sets itself classifies the theory of ‘free De Morgan algebras’...

Christmas: An anthropological lens

Why does the festival of Christmas appear to be expanding worldwide while other festivals decline? Why do people emphasize their local rituals, given this is a global festival? Is this a religious festival whose values have been destroyed by materialism? What is the relationship between this family celebratory meal and the divine family to which it pays obeisance? These seemed to be questions t...